Using Meta-model Coverage to Qualify Test Oracles

The definition of oracles is a significant part of model transformation testing. The tester has to ensure their quality. Mutation analysis that can be used to qualify test oracles is an expensive task which is also dependent on the transformation under test’s implementation. In this paper we propose to use the coverage of the transformation’s output meta-model by the oracles as an alternative to mutation analysis. This approach has been implemented and validated through experiments.